81. Computer science logic : 5th Workshop, CSL'91 : proceedings
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
626
82. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
کتابخانه: (کرمان)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
83. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
کتابخانه: (کرمان)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
84. Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
کتابخانه: (طهران)
موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
85. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
پدیدآورنده : / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
86. Computer science logic: 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
پدیدآورنده : Jerzy Marcinkowski, Andrzej Tarlecki )eds.(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
9
.
L63
E93
87. Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
پدیدآورنده : Laurent Fribourg )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2142
88. Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
پدیدآورنده : Matthias Baaz, Johann A. Makowsky )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2803
89. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
پدیدآورنده : Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W624
1990
90. Computer scince logic : 13th International Workshop, CSL' 99 : 8th annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
پدیدآورنده : Jorg Flum, Mario Rodriguez-Artalejo )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1683
91. DIGITAL COMPUTER DESIGN LOGIC,CIRCUITRY,AND SYNTHESIS
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
623
,.
79
,
BRD
92. Deontic Logic in Computer Science
پدیدآورنده : / Guido Governatori, Giovanni Sartor
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
93. Deontic Logic in Computer Science
پدیدآورنده : / gotnes, Jan Broersen, Dag ElgesemThomas
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
94. Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
پدیدآورنده : Lou Goble, John-Jules Ch. Meyer )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
4048
95. Deontic logic in computer science
پدیدآورنده : Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Deontic logic, Congresses
رده :
QA75
.
5
.
I64
2011eb
96. Deontic logic in computer science. normative system specification /
پدیدآورنده : edited by John-Jules Ch. Meyer and Roel J. Wieringa
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer science- Congresses,، Deontic logic- Congresses
رده :
QA
75
.
5
.
D46
97. Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
پدیدآورنده : Alessio Lomuscio, Donald Nute )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
3065
98. Digital computer design: logic, circuitry, and synthesis
پدیدآورنده : Braun, Edward Louis.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital Computers
رده :
QA
76
.
5
.
B69
99. Digital computer design:logic circuitry, & synthesis
پدیدآورنده : BRAUN,EDWARD LOUIS
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS
رده :
QA
76
.
5
.
B69
100. Digital computer programming; logic and language
پدیدآورنده : / Charles M. Thatcher and Anthony J. Capato
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,FORTRAN (Computer program language)
رده :
651
.
8
Th-D
